例句與造句

1. Together we prove that generalized paramodulation is generalized complete when used with generalized resolution for e - unsatisfied clause set
   接著給出廣義調(diào)解的有效性證明，然后證明廣義調(diào)解和廣義歸結(jié)的聯(lián)合使用對(duì)e -恒假的子句集是廣義完備的。
2. It's difficult to find generalized resolution in a sentence. 用generalized resolution造句挺難的